package edu.gatech.cc.concolic.expression;


public class LCMP extends BinaryOperator implements IntegerExpression {

	public LCMP(LongExpression lhs, LongExpression rhs) {
		super(lhs, rhs);
	}

	@Override
	public String toString() {
		return String.format("(%s cmp %s)", lhs, rhs);
	}
	
	public void accept(SymbolicExpressionVisitor visitor) {
		visitor.visit(this);
	}
	
}
